prolog ram